Universal logic - PDFSEARCH.IO - Document Search Engine

Universal logic
Results: 479

#	Item
381	30 For Michael Potter, ed., Mathematical Knowledge, Oxford University Press 2007 On Quantifying into Predicate Position: Steps towards a New(tralist) Perspective Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2007-05-09 19:53:00 Predicate logic Semantics Philosophy of language First-order logic Universal quantification Second-order logic Truth-value semantics Existential quantification Proposition Logic Mathematical logic Quantification
382	Non-Existential Indefinites and Semantic Incorporation of PP Complements Indefinites that appear as complements in prepositional phrases show some systematic variations in their interpretation, which to the best of our k Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:02 Semantics Logic Parts of speech Grammar Predicate Preposition and postposition Existential quantification Adpositional phrase Universal quantification Linguistics Quantification Syntax
383	Invariance Properties of Quantifiers and Multiagent Information Exchange Nina Gierasimczuk∗ and Jakub Szymanik† Institute of Artificial Intelligence, University of Groningen [removed] jakub.szymanik Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-06-03 20:22:49 Theoretical computer science Finite model theory Semantics Predicate logic FO Epistemic modal logic HO Universal quantification Constructible universe Logic Quantification Mathematical logic
384	Imperfect Information in Logic and Concurrent Games Pierre Clairambault1 , Julian Gutierrez2 , and Glynn Winskel1 1 2 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-03-06 10:39:50 Mathematics Philosophical logic Logic in computer science Structure Universal algebra Symbol Determinacy Independence-friendly logic Game semantics Logic Mathematical logic Model theory
385	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics
386	Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:49 Z notation Constructible universe Axiom S Universal quantification Axioms of set theory Axiom schema of replacement First-order logic Mathematical logic Logic Mathematics
387	Application Note 74 Reading and Writing iButtons via Serial Interfaces www.dalsemi.com I. Add to Reading List Source URL: electronique.marcel.free.fr Language: English - Date: 2006-12-31 12:15:58 Electronics 1-Wire Universal asynchronous receiver/transmitter Microcontroller Serial port RS-232 Logic level ANT D54 Computing Digital electronics Electronic engineering
388	Sparseness, Immanence, and Naturalness∗ Theodore Sider Noûs[removed]): 360–377 In the past fifteen years or so there has been a lot of attention paid to theories of “sparse” universals, particularly because of Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 14:00:38 Logic Branches of philosophy Philosophical logic Epistemology Universal Problem of universals Philosophical realism Trope Reality Philosophy Metaphysics Ontology
389	Another Look at Armstrong’s Combinatorialism∗ Theodore Sider Noûs[removed]): 680–696 The core idea of David Armstrong’s combinatorial theory of possibility is Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 13:58:38 Analytic philosophers Logic Epistemology Universal Problem of universals David Malet Armstrong Possible world David Lewis Particular Philosophy Metaphysics Ontology
390	Could packing be specified in terms of closed-open interval semantics without having to commit to granularity ? Erwin Smout Introduction “Temporal Data and the Relational Model”1, by Hugh Darwen, Chris Date & Nikos L Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2014-03-17 07:42:40 Data management Logic Relational model Finitary relation Tuple Universal quantification Constructible universe Uniqueness quantification Equivalence relation Mathematics Quantification Mathematical logic

UPDATE